Applications of artificial intelligence to legal informatics